nominative type system

nominative type system
номинативная система типов
в программировании - основной вид системы типов, в которой совместимость и эквивалентность типов определяется явными объявлениями и/или именами типов. Номинативные системы позволяют определить, являются ли типы эквивалентными, а также является ли данный тип подтипом другого типа, - в отличие от структурных систем, где сравнения базируются на структуре рассматриваемых типов и не требуют явных объявлений типов
см. тж. data type, type system

Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "nominative type system" в других словарях:

  • Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Structural type system — A structural type system is a major class of type system, in which type compatibility and equivalence are determined by the type s structure, and not through explicit declarations. Structural systems are used to determine if types are equivalent …   Wikipedia

  • Nominative and structural type systems — are: Nominative type system Structural type system The differences between nominative and structural type systems are discussed in: Type system Subtype This disambiguation page lists articles associated with the same title. If an …   Wikipedia

  • Nominative–accusative language — Nominative accusative alignment Linguistic typology Morphological Isolating Synthetic …   Wikipedia

  • Abstract type — This article discusses types with no direct members; see also Abstract data type. In software engineering, an abstract type is a type in a nominative type system which is declared by the programmer, and which has the property that it contains no… …   Wikipedia

  • Dutch declension system — Dutch declension is the declensional system of the Dutch language. Dutch marks nouns, pronouns, articles, and adjectives to distinguish case, number, and gender. Dutch can distinguish between four cases mdash;nominative, genitive, dative, and… …   Wikipedia

  • Тип данных — (встречается также термин вид данных)  фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и… …   Википедия

  • Типизация данных — Тип данных  фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям, и, возможно, способ реализации хранения значений и выполнения операций. Любые… …   Википедия

  • Java — Иное название этого понятия  «Ява»; см. также другие значения. Не следует путать с JavaScript. Java Класс языка …   Википедия

  • Валютный тип — Тип данных Содержание 1 История 2 Определение 3 Необходимость использования типов данных …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»